Menu

Filtros : "Ferreira, Macilio da Silva" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Dissertação (Mestrado)

    Aplicação de técnicas de aprendizado profundo para a detecção e diagnóstico do estado de operacionalidade de sistemas: um estudo de caso em AMVS ferroviários. (2021)

    Ferreira, Macilio da Silva; Cugnasca, Paulo Sérgio (Orientador)

    Unidade: EP

    Subjects: FALHA, SISTEMAS DE TRANSPORTES, FERROVIAS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FERREIRA, Macilio da Silva. Aplicação de técnicas de aprendizado profundo para a detecção e diagnóstico do estado de operacionalidade de sistemas: um estudo de caso em AMVS ferroviários. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-20122021-170624/. Acesso em: 28 abr. 2024.

    • APA

      Ferreira, M. da S. (2021). Aplicação de técnicas de aprendizado profundo para a detecção e diagnóstico do estado de operacionalidade de sistemas: um estudo de caso em AMVS ferroviários. (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-20122021-170624/

    • NLM

      Ferreira M da S. Aplicação de técnicas de aprendizado profundo para a detecção e diagnóstico do estado de operacionalidade de sistemas: um estudo de caso em AMVS ferroviários. [Internet]. 2021 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-20122021-170624/

    • Vancouver

      Ferreira M da S. Aplicação de técnicas de aprendizado profundo para a detecção e diagnóstico do estado de operacionalidade de sistemas: um estudo de caso em AMVS ferroviários. [Internet]. 2021 ;[citado 2024 abr. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-20122021-170624/

  • Trabalho de evento

    Plan existence verification as symbolic model checking (2018)

    Ferreira, Macilio da Silva; Menezes, Maria Viviane; Barros, Leliane Nunes de

    Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, ALGORITMOS PARA PROCESSAMENTO, PROGRAMAÇÃO HEURÍSTICA

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FERREIRA, Macilio da Silva e MENEZES, Maria Viviane e BARROS, Leliane Nunes de. Plan existence verification as symbolic model checking. 2018, Anais.. Porto Alegre: SBC, 2018. Disponível em: https://doi.org/10.5753/eniac.2018.4409. Acesso em: 28 abr. 2024.

    • APA

      Ferreira, M. da S., Menezes, M. V., & Barros, L. N. de. (2018). Plan existence verification as symbolic model checking. In Proceedings. Porto Alegre: SBC. doi:10.5753/eniac.2018.4409

    • NLM

      Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.5753/eniac.2018.4409

    • Vancouver

      Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.5753/eniac.2018.4409
  • 1

1 - 2 (2 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024